Optimal. Leaf size=135 \[ -\frac{i b x^{-2 n} (e x)^{2 n} \text{PolyLog}\left (2,-i e^{c+d x^n}\right )}{d^2 e n}+\frac{i b x^{-2 n} (e x)^{2 n} \text{PolyLog}\left (2,i e^{c+d x^n}\right )}{d^2 e n}+\frac{a (e x)^{2 n}}{2 e n}+\frac{2 b x^{-n} (e x)^{2 n} \tan ^{-1}\left (e^{c+d x^n}\right )}{d e n} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.113346, antiderivative size = 135, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 6, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.273, Rules used = {14, 5440, 5436, 4180, 2279, 2391} \[ -\frac{i b x^{-2 n} (e x)^{2 n} \text{PolyLog}\left (2,-i e^{c+d x^n}\right )}{d^2 e n}+\frac{i b x^{-2 n} (e x)^{2 n} \text{PolyLog}\left (2,i e^{c+d x^n}\right )}{d^2 e n}+\frac{a (e x)^{2 n}}{2 e n}+\frac{2 b x^{-n} (e x)^{2 n} \tan ^{-1}\left (e^{c+d x^n}\right )}{d e n} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 14
Rule 5440
Rule 5436
Rule 4180
Rule 2279
Rule 2391
Rubi steps
\begin{align*} \int (e x)^{-1+2 n} \left (a+b \text{sech}\left (c+d x^n\right )\right ) \, dx &=\int \left (a (e x)^{-1+2 n}+b (e x)^{-1+2 n} \text{sech}\left (c+d x^n\right )\right ) \, dx\\ &=\frac{a (e x)^{2 n}}{2 e n}+b \int (e x)^{-1+2 n} \text{sech}\left (c+d x^n\right ) \, dx\\ &=\frac{a (e x)^{2 n}}{2 e n}+\frac{\left (b x^{-2 n} (e x)^{2 n}\right ) \int x^{-1+2 n} \text{sech}\left (c+d x^n\right ) \, dx}{e}\\ &=\frac{a (e x)^{2 n}}{2 e n}+\frac{\left (b x^{-2 n} (e x)^{2 n}\right ) \operatorname{Subst}\left (\int x \text{sech}(c+d x) \, dx,x,x^n\right )}{e n}\\ &=\frac{a (e x)^{2 n}}{2 e n}+\frac{2 b x^{-n} (e x)^{2 n} \tan ^{-1}\left (e^{c+d x^n}\right )}{d e n}-\frac{\left (i b x^{-2 n} (e x)^{2 n}\right ) \operatorname{Subst}\left (\int \log \left (1-i e^{c+d x}\right ) \, dx,x,x^n\right )}{d e n}+\frac{\left (i b x^{-2 n} (e x)^{2 n}\right ) \operatorname{Subst}\left (\int \log \left (1+i e^{c+d x}\right ) \, dx,x,x^n\right )}{d e n}\\ &=\frac{a (e x)^{2 n}}{2 e n}+\frac{2 b x^{-n} (e x)^{2 n} \tan ^{-1}\left (e^{c+d x^n}\right )}{d e n}-\frac{\left (i b x^{-2 n} (e x)^{2 n}\right ) \operatorname{Subst}\left (\int \frac{\log (1-i x)}{x} \, dx,x,e^{c+d x^n}\right )}{d^2 e n}+\frac{\left (i b x^{-2 n} (e x)^{2 n}\right ) \operatorname{Subst}\left (\int \frac{\log (1+i x)}{x} \, dx,x,e^{c+d x^n}\right )}{d^2 e n}\\ &=\frac{a (e x)^{2 n}}{2 e n}+\frac{2 b x^{-n} (e x)^{2 n} \tan ^{-1}\left (e^{c+d x^n}\right )}{d e n}-\frac{i b x^{-2 n} (e x)^{2 n} \text{Li}_2\left (-i e^{c+d x^n}\right )}{d^2 e n}+\frac{i b x^{-2 n} (e x)^{2 n} \text{Li}_2\left (i e^{c+d x^n}\right )}{d^2 e n}\\ \end{align*}
Mathematica [A] time = 0.174758, size = 260, normalized size = 1.93 \[ \frac{x^{-2 n} (e x)^{2 n} \left (-2 i b \text{PolyLog}\left (2,-i e^{c+d x^n}\right )+2 i b \text{PolyLog}\left (2,i e^{c+d x^n}\right )+a d^2 x^{2 n}+2 i b d x^n \log \left (1-i e^{c+d x^n}\right )-2 i b d x^n \log \left (1+i e^{c+d x^n}\right )+2 i b c \log \left (1-i e^{c+d x^n}\right )-\pi b \log \left (1-i e^{c+d x^n}\right )-2 i b c \log \left (1+i e^{c+d x^n}\right )+\pi b \log \left (1+i e^{c+d x^n}\right )-2 i b c \log \left (\cot \left (\frac{1}{4} \left (2 i c+2 i d x^n+\pi \right )\right )\right )+\pi b \log \left (\cot \left (\frac{1}{4} \left (2 i c+2 i d x^n+\pi \right )\right )\right )\right )}{2 d^2 e n} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.218, size = 368, normalized size = 2.7 \begin{align*}{\frac{ax}{2\,n}{{\rm e}^{-{\frac{ \left ( -1+2\,n \right ) \left ( i{\it csgn} \left ( ie \right ){\it csgn} \left ( ix \right ){\it csgn} \left ( iex \right ) \pi -i \left ({\it csgn} \left ( iex \right ) \right ) ^{2}{\it csgn} \left ( ie \right ) \pi -i \left ({\it csgn} \left ( iex \right ) \right ) ^{2}{\it csgn} \left ( ix \right ) \pi +i \left ({\it csgn} \left ( iex \right ) \right ) ^{3}\pi -2\,\ln \left ( e \right ) -2\,\ln \left ( x \right ) \right ) }{2}}}}}+2\,{\frac{{{\rm e}^{c}}b{{\rm e}^{-i\pi \,n{\it csgn} \left ( ie \right ){\it csgn} \left ( ix \right ){\it csgn} \left ( iex \right ) }}{{\rm e}^{i\pi \,n{\it csgn} \left ( ie \right ) \left ({\it csgn} \left ( iex \right ) \right ) ^{2}}}{{\rm e}^{i\pi \,n{\it csgn} \left ( ix \right ) \left ({\it csgn} \left ( iex \right ) \right ) ^{2}}}{{\rm e}^{-i\pi \,n \left ({\it csgn} \left ( iex \right ) \right ) ^{3}}}{{\rm e}^{i/2\pi \,{\it csgn} \left ( ie \right ){\it csgn} \left ( ix \right ){\it csgn} \left ( iex \right ) }}{{\rm e}^{-i/2\pi \,{\it csgn} \left ( ie \right ) \left ({\it csgn} \left ( iex \right ) \right ) ^{2}}}{{\rm e}^{-i/2\pi \,{\it csgn} \left ( ix \right ) \left ({\it csgn} \left ( iex \right ) \right ) ^{2}}}{{\rm e}^{i/2\pi \, \left ({\it csgn} \left ( iex \right ) \right ) ^{3}}} \left ({e}^{n} \right ) ^{2} \left ( -1/2\,\sqrt{-{{\rm e}^{2\,c}}}{x}^{n}d \left ( \ln \left ( 1+{{\rm e}^{d{x}^{n}}}\sqrt{-{{\rm e}^{2\,c}}} \right ) -\ln \left ( 1-{{\rm e}^{d{x}^{n}}}\sqrt{-{{\rm e}^{2\,c}}} \right ) \right ){{\rm e}^{-2\,c}}-1/2\,\sqrt{-{{\rm e}^{2\,c}}} \left ({\it dilog} \left ( 1+{{\rm e}^{d{x}^{n}}}\sqrt{-{{\rm e}^{2\,c}}} \right ) -{\it dilog} \left ( 1-{{\rm e}^{d{x}^{n}}}\sqrt{-{{\rm e}^{2\,c}}} \right ) \right ){{\rm e}^{-2\,c}} \right ) }{en{d}^{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.57839, size = 2233, normalized size = 16.54 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \left (e x\right )^{2 n - 1} \left (a + b \operatorname{sech}{\left (c + d x^{n} \right )}\right )\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (b \operatorname{sech}\left (d x^{n} + c\right ) + a\right )} \left (e x\right )^{2 \, n - 1}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]